#include<bits/stdc++.h>
#define int long long
using namespace std;
int n,m,p,x,last;
int t[15],w[10005],v[10005],f[10005];
int val[]={0,9,7,8,5,6,3,4,2};
signed main()
{
	cin>>n>>m;
	for(int i=1;i<=n;i++)
	{
		cin>>p>>x;
		t[p]+=x;
	}
	for(int i=1;i<=8;i++)
	{
		for(int j=1;j<=t[i]/64;j++)
		for(int k=m;k>=1;k--)
		f[k]=max(f[k],f[k-1]+val[i]*64);
		last=t[i]%64;
		if(last)
		for(int k=m;k>=1;k--)
		f[k]=max(f[k],f[k-1]+val[i]*last);
	}
	cout<<f[m];
}